Arjan J. C. van Gemund: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Spar: A programming language for semi-automatic compilation of parallel programs

van Reeuwijk, Kees, van Gemund, Arjan J. C., Sips, Henk J.

Journal:

Concurrency Practice and Experience

Year:

1997

Language:

english

File:

PDF, 86 KB

english, 1997

2

[IEEE 2008 International Conference on Prognostics and Health Management (PHM) - Denver, CO, USA (2008.10.6-2008.10.9)] 2008 International Conference on Prognostics and Health Management - A framework and algorithm for model-based active testing

Feldman, Alexander, Provan, Gregory, van Gemund, Arjan

Year:

2008

Language:

english

File:

PDF, 1.86 MB

english, 2008

3

Prioritizing tests for software fault diagnosis

Alberto Gonzalez-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Gross, Arjan J. C. van Gemund

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 232 KB

english, 2011

4

A practical evaluation of spectrum-based fault localization

Rui Abreu, Peter Zoeteweij, Rob Golsteijn, Arjan J.C. van Gemund

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 614 KB

english, 2009

5

The delft MS curriculum on embedded systems

Gross, Hans-Gerhard, van Gemund, Arjan

Journal:

ACM SIGBED Review

Year:

2007

Language:

english

File:

PDF, 451 KB

english, 2007

6

2.3.1 Benefits and Costs of Model-Based Fault Diagnosis for Semiconductor Manufacturing Equipment

Pietersma, Jurryt, van Gemund, Arjan J.C.

Journal:

INCOSE International Symposium

Year:

2007

Language:

english

File:

PDF, 577 KB

english, 2007

7

Diagnosing multiple intermittent failures using maximum likelihood estimation

Rui Abreu, Arjan J.C. van Gemund

Journal:

Artificial Intelligence

Year:

2010

Language:

english

File:

PDF, 285 KB

english, 2010

8

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Probabilistic Error Propagation Modeling in Logic Circuits

Gupta, Shekhar, van Gemund, Arjan J.C., Abreu, Rui

Year:

2011

Language:

english

File:

PDF, 302 KB

english, 2011

9

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - An empirical study on the usage of testability information to fault localization in software

Gonzalez-Sanchez, Alberto, Abreu, Rui, Gross, Hans-Gerhard, van Gemund, Arjan J. C.

Year:

2011

Language:

english

File:

PDF, 621 KB

english, 2011

10

Analysis of a shared-memory multiprocessor via a novel queuing model

Gerard L. Reijns, Arjan J.C van Gemund

Journal:

Journal of Systems Architecture

Year:

1999

Language:

english

File:

PDF, 110 KB

english, 1999

11

[ACM Press the 6th International Conference - Timişoara, Romania (2010.09.12-2010.09.13)] Proceedings of the 6th International Conference on Predictive Models in Software Engineering - PROMISE '10 - Exploiting count spectra for Bayesian fault localization

Abreu, Rui, Gonzalez-Sanchez, Alberto, van Gemund, Arjan J. C.

Year:

2010

Language:

english

File:

PDF, 617 KB

english, 2010

12

[ACM Press the 13th international conference - Rhodes, Greece (1999.06.20-1999.06.25)] Proceedings of the 13th international conference on Supercomputing - ICS '99 - On the complexity of list scheduling algorithms for distributed-memory systems

Rădulescu, Andrei, van Gemund, Arjan J. C.

Year:

1999

Language:

english

File:

PDF, 943 KB

english, 1999

13

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Zoltar: A Toolset for Automatic Fault Localization

Janssen, Tom, Abreu, Rui, Gemund, Arjan J.C. van

Year:

2009

Language:

english

File:

PDF, 863 KB

english, 2009

14

The Diagnostic Competitions

Feldman, Alexander, De Kleer, Johan, Kurtoglu, Tolga, Narasimhan, Sriram, Poll, Scott, Garcia, David, Kuhn, Lukas, Van Gemund, Arjan J. C.

Journal:

Year:

2014

File:

PDF, 436 KB

2014

15

Performance implications of synchronization structure in parallel programming

Arturo González-Escribano, Arjan J.C. van Gemund, Valentín Cardeñoso-Payo

Journal:

Parallel Computing

Year:

2009

Language:

english

File:

PDF, 753 KB

english, 2009

16

Errata to “Reliability Analysis of $k$-out-of-$n$ Systems With Single Cold Standby Using Pearson Distributions” [Jun 12 526-532]

van Gemund, Arjan J. C., Reijns, Gerard L.

Journal:

IEEE Transactions on Reliability

Year:

2012

Language:

english

File:

PDF, 252 KB

english, 2012

17

[ACM Press the 11th international conference - Vienna, Austria (1997.07.07-1997.07.11)] Proceedings of the 11th international conference on Supercomputing - ICS '97 - The importance of synchronization structure in parallel program optimization

van Gemund, Arjan J. C.

Year:

1997

Language:

english

File:

PDF, 1.62 MB

english, 1997

18

[ACM Press the 7th international conference - Tokyo, Japan (1993.07.19-1993.07.23)] Proceedings of the 7th international conference on Supercomputing - ICS '93 - Performance prediction of parallel processing systems

van Gemund, Arjan J. C.

Year:

1993

Language:

english

File:

PDF, 1023 KB

english, 1993

19

[IEEE 2014 IEEE Aerospace Conference - Big Sky, MT, USA (2014.3.1-2014.3.8)] 2014 IEEE Aerospace Conference - Automatic systems diagnosis without behavioral models

Gupta, Shekhar, Abreu, Rui, de Kleer, Johan, van Gemund, Arjan J.C.

Year:

2014

Language:

english

File:

PDF, 322 KB

english, 2014

20

DIAGNOSTIC ACCURACY OF MODELS 1

Pietersma, Jurryt, van Gemund, Arjan J.C.

Journal:

IFAC Proceedings Volumes

Year:

2006

Language:

english

File:

PDF, 160 KB

english, 2006

21

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Refining spectrum-based fault localization rankings

Abreu, Rui, Mayer, Wolfgang, Stumptner, Markus, van Gemund, Arjan J. C.

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

22

[ACM Press the second international workshop - Ottawa, Ontario, Canada (2000..-..)] Proceedings of the second international workshop on Software and performance - WOSP '00 - Static performance prediction of data-dependent programs

Gautama, Hasyim, van Gemund, Arjan J. C.

Year:

2000

Language:

english

File:

PDF, 707 KB

english, 2000

23

Simultaneous debugging of software faults

Rui Abreu, Peter Zoeteweij, Arjan J.C. van Gemund

Journal:

Journal of Systems and Software

Year:

2011

Language:

english

File:

PDF, 666 KB

english, 2011

24

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Prioritizing tests for fault localization through ambiguity group reduction

Gonzalez-Sanchez, Alberto, Abreu, Rui, Gross, Hans-Gerhard, van Gemund, Arjan J.C.

Year:

2011

Language:

english

File:

PDF, 383 KB

english, 2011

25

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - On the Accuracy of Spectrum-based Fault Localization

Abreu, Rui, Zoeteweij, Peter, van Gemund, Arjan J.C.

Year:

2007

Language:

english

File:

PDF, 423 KB

english, 2007

26

[IEEE 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Riverside, CA, USA (2006.12.18-2006.12.20)] 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - An Evaluation of Similarity Coefficients for Software Fault Localization

Abreu, Rui, Zoeteweij, Peter, Van Gemund, Arjan

Year:

2006

Language:

english

File:

PDF, 221 KB

english, 2006

27

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Increasing System Availability with Local Recovery Based on Fault Localization

Sözer, Hasan, Abreu, Rui, Aksit, Mehmet, van Gemund, Arjan J.C.

Year:

2010

Language:

english

File:

PDF, 272 KB

english, 2010

28

[IEEE 2006 IEEE International Conference on Systems, Man and Cybernetics - Taipei, Taiwan (2006.10.8-2006.10.11)] 2006 IEEE International Conference on Systems, Man and Cybernetics - Temporal versus Spatial Observability in Model-Based Diagnosis

Pietersma, Jurryt, van Gemund, Arjan J.C.

Year:

2006

Language:

english

File:

PDF, 1.10 MB

english, 2006

29

[IEEE 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI) - Yokohama, Japan (2008.07.14-2008.07.17)] 2008 Second International Conference on Secure System Integration and Reliability Improvement - Automated Fault Diagnosis in Embedded Systems

Zoeteweij, Peter, Pietersma, Jurryt, Abreu, Rui, Feldman, Alexander, Gemund, Arjan J.C. van

Year:

2008

Language:

english

File:

PDF, 199 KB

english, 2008

30

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference - COMPSAC 2010 - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference - Minimising the Preparation Cost of Runtime Testing Based on Testability Metrics

Gonzalez-Sanchez, Alberto, Piel, Eric, Gross, Hans-Gerhard, Gemund, Arjan J. C. van

Year:

2010

File:

PDF, 733 KB

2010

31

[IEEE 2009 24th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Auckland, New Zealand (2009.11.16-2009.11.20)] 2009 IEEE/ACM International Conference on Automated Software Engineering - Spectrum-Based Multiple Fault Localization

Abreu, Rui, Zoeteweij, Peter, Gemund, Arjan J.C. van

Year:

2009

Language:

english

File:

PDF, 591 KB

english, 2009

32

[IEEE 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (VALID) - Nice, TBD, France (2010.08.22-2010.08.27)] 2010 Second International Conference on Advances in System Testing and Validation Lifecycle - Runtime Testability in Dynamic High-Availability Component-Based Systems

Gonzalez-Sanchez, Alberto, Piel, Eric, Gross, Hans-Gerhard, van Gemund, Arjan J.C.

Year:

2010

Language:

english

File:

PDF, 616 KB

english, 2010

33

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Diagnosis of Embedded Software Using Program Spectra

Zoeteweij, Peter, Abreu, Rui, Golsteijn, Rob, van Gemund, Arjan J.C.

Year:

2007

Language:

english

File:

PDF, 132 KB

english, 2007

34

A method for parallel program generation with an application to the Booster language

Paalvast, Edwin M., van Gemund, Arjan J., Sips, Henk J.

Journal:

ACM SIGARCH Computer Architecture News

Year:

1990

Language:

english

File:

PDF, 1.43 MB

english, 1990

35

[ACM Press the 4th international conference - Amsterdam, The Netherlands (1990.06.11-1990.06.15)] Proceedings of the 4th international conference on Supercomputing - ICS '90 - A method for parallel program generation with an application to the Booster language

Paalvast, Edwin M., van Gemund, Arjan J., Sips, Henk J.

Year:

1990

Language:

english

File:

PDF, 1.43 MB

english, 1990

36

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - Modeling the Diagnostic Efficiency of Regression Test Suites

Gonzalez-Sanchez, Alberto, Gross, Hans-Gerhard, van Gemund, Arjan J.C.

Year:

2011

Language:

english

File:

PDF, 396 KB

english, 2011

37

[ACM Press the 8th international conference - Manchester, England (1994.07.11-1994.07.15)] Proceedings of the 8th international conference on Supercomputing - ICS '94 - Compiling performance models from parallel programs

van Gemund, Arjan J. C.

Year:

1994

Language:

english

File:

PDF, 987 KB

english, 1994

38

[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops - A Diagnostic Point of View for the Optimization of Preparation Costs in Runtime Testing

Sanchez, Alberto Gonzalez, Piel, Éric, Gross, Hans-Gerhard, van Gemund, Arjan J.C.

Year:

2011

Language:

english

File:

PDF, 300 KB

english, 2011

39

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Automatic software fault localization using generic program invariants

Abreu, Rui, González, Alberto, Zoeteweij, Peter, van Gemund, Arjan J. C.

Year:

2008

Language:

english

File:

PDF, 398 KB

english, 2008

40

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - On the Accuracy of Spectrum-based Fault Localization

Abreu, Rui, Zoeteweij, Peter, van Gemund, Arjan J.C.

Year:

2007

Language:

english

File:

PDF, 423 KB

english, 2007

41

[IEEE 2013 IEEE Aerospace Conference - Big Sky, MT (2013.3.2-2013.3.9)] 2013 IEEE Aerospace Conference - Model-Based Diagnostic decision-support system for satellites

Feldman, Alexander, de Castro, Helena Vicente, van Gemund, Arjan, Provan, Gregory

Year:

2013

Language:

english

File:

PDF, 486 KB

english, 2013

42

[IEEE 2010 10th International Conference on Quality Software (QSIC) - Zhangjiajie, China (2010.07.14-2010.07.15)] 2010 10th International Conference on Quality Software - Prioritizing Tests for Software Fault Localization

Gonzalez-Sanchez, Alberto, Piel, Eric, Gross, Hans-Gerhard, van Gemund, Arjan J.C.

Year:

2010

File:

PDF, 1.39 MB

2010

43

[IEEE 2006 IEEE Autotestcon - Anaheim, CA, USA (2006.09.18-2006.09.21)] 2006 IEEE Autotestcon - Modeling and Compilation Aspects of Fault Diagnosis Complexity

Pietersma, Jurryt, Feldman, Alexander, Van Gemund, Arjan

Year:

2006

Language:

english

File:

PDF, 7.60 MB

english, 2006

44

[IEEE 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) - Ann Arbor, MI, USA (2011.10.3-2011.10.7)] 2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems - Spectrum-Based Health Monitoring for Self-Adaptive Systems

Piel, Éric, Gonzalez-Sanchez, Alberto, Gross, Hans-Gerhard, Gemund, Arjan J.C. van

Year:

2011

Language:

english

File:

PDF, 726 KB

english, 2011

45

[ACM Press the 2009 ESEC/FSE workshop - Amsterdam, The Netherlands (2009.08.25-2009.08.25)] Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime - SINTER '09 - Zoltar

Janssen, Tom, Abreu, Rui, van Gemund, Arjan J.C.

Year:

2009

Language:

english

File:

PDF, 468 KB

english, 2009

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски